Nuprl Definition : Rinit
11,40
postcript
pdf
Rinit(
loc
;
T
;
x
;
v
) == inr inr (inl <
loc
,
T
,
x
,
v
> )
latex
Definitions
inr
x
,
inl
x
,
<
a
,
b
>
FDL editor aliases
Rinit, Rinit
origin